Steffen Huck's Documents

Steffen Huck's Documents

Learn cocos2d 2: Game Development for iOS

Learn cocos2d 2: Game Development for iOS
Read more
Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, ISoLA 2010, ... Computer Science and General Issues)

Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, ISoLA 2010, ... Computer Science and General Issues)
Read more
Graphical models

Graphical models
Read more
The Cookie Monster

The Cookie Monster
Read more
Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part I

Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part I
Read more
Grundlagen der Elektrotechnik und Elektronik 1: Gleichstromnetzwerke und ihre Anwendungen (Springer-Lehrbuch) (German Edition)

Grundlagen der Elektrotechnik und Elektronik 1: Gleichstromnetzwerke und ihre Anwendungen (Springer-Lehrbuch) (German Edition)
Read more
Managing Knowledge in a World of Networks: 15th International Conference, EKAW 2006, Podebrady, Czech Republic, October 6-10, 2006, Proceedings

Managing Knowledge in a World of Networks: 15th International Conference, EKAW 2006, Podebrady, Czech Republic, October 6-10, 2006, Proceedings
Read more
Just Peace

Just Peace
Read more
Leveraging Applications of Formal Methods: First International Symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November 2, 2004, Revised Selected Papers

Leveraging Applications of Formal Methods: First International Symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November 2, 2004, Revised Selected Papers
Read more
The Queen's Gambit for the Attacking Player (Batsford Chess Library)

The Queen's Gambit for the Attacking Player (Batsford Chess Library)
Read more
True Names

True Names
Read more
Linux: Das umfassende Handbuch, 4. Auflage (Ausgabe 2011)

Linux: Das umfassende Handbuch, 4. Auflage (Ausgabe 2011)
Read more
Dahmer's Not Dead

Dahmer's Not Dead
Read more
Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part II

Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part II
Read more
Microfluidic Technologies for Miniaturized Analysis Systems

Microfluidic Technologies for Miniaturized Analysis Systems
Read more
Tools and Algorithms for the Construction and Analysis of Systems, 2 conf., TACAS '96

Tools and Algorithms for the Construction and Analysis of Systems, 2 conf., TACAS '96
Read more
Rainbows End

Rainbows End
Read more
Grundlagen der Elektrotechnik und Elektronik 1: Gleichstromnetzwerke und ihre Anwendungen, 4. Auflage

Grundlagen der Elektrotechnik und Elektronik 1: Gleichstromnetzwerke und ihre Anwendungen, 4. Auflage
Read more
Praxis der Dialyse

Praxis der Dialyse
Read more
FrontPage 2002. Professionelle Websites entwickeln GERMAN

FrontPage 2002. Professionelle Websites entwickeln GERMAN
Read more
Host-Pathogen Interactions: Methods and Protocols (Methods in Molecular Biology)

Host-Pathogen Interactions: Methods and Protocols (Methods in Molecular Biology)
Read more
Thiele, pioneer in statistics

Thiele, pioneer in statistics
Read more
KI-96: Advances in Artificial Intelligence: 20th Annual German Conference on Artificial Intelligence Dresden, Germany, September 17 - 19, 1996, ... 20th

KI-96: Advances in Artificial Intelligence: 20th Annual German Conference on Artificial Intelligence Dresden, Germany, September 17 - 19, 1996, ... 20th
Read more
The Barbarian Princess

The Barbarian Princess
Read more
Politikberatung und Lobbying in Brüssel

Politikberatung und Lobbying in Brüssel
Read more
Webapplication Development mit ColdFusion 4.5

Webapplication Development mit ColdFusion 4.5
Read more
Technological Singularity

Technological Singularity
Read more
The Peace War

The Peace War
Read more
Graphical Models

Graphical Models
Read more
Verification, Model Checking, and Abstract Interpretation, 5 conf., VMCAI 2004

Verification, Model Checking, and Abstract Interpretation, 5 conf., VMCAI 2004
Read more